A language for updating logic programs and its implementation
نویسندگان
چکیده
منابع مشابه
LUPS - A Language for Updating Logic Programs
Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs). Each...
متن کاملUpdating Epistemic Logic Programs
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and belief can be explicitly expressed. We propose a formulation for epistemic logic program update based on a principle called minimal change and maximal coherence. The central feature of our approach is that during an update or a seque...
متن کاملUpdating Logic Programs
It is well known that rule-based knowledge bases are usually realized by logic programs. An update has to be performed to the current knowledge base if some new information occurs. In many applications associated with dynamic domains, however, such new information may occur not only as a set of simple facts but also a set of rules. In this paper, we view knowledge bases as extended logic progra...
متن کاملLOLA - A Logic Language for Deductive Databases and its Implementation
The purpose of this paper is to give an overview of the LOLA logic programming system which serves as the kernel of a deductive database system. The LOLA language, the query evaluation strategy, the available query optimiaations, the overall compiler architecture, and some implementational details and performance measurements are presented. The LOLA-system is fully implemented in Common Lisp an...
متن کاملA Preference-Based Framework for Updating Logic Programs
We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple and general, making use of two distinct complementary techniques: defaultification and preference. While defaultification resolves potential conflicts by inducing more answer sets, preferences then select among these answer se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1995
ISSN: 0743-1066
DOI: 10.1016/0743-1066(94)00025-2